#include <request.h>
#include <po_hi_marshallers.h>
/*********************/
/* process_request */ 
/*********************/

void process_request 
      (__po_hi_msg_t* msg)
{
   __po_hi_request_t request;

   __po_hi_user_unmarshall_ping_spg(&(request),msg);
   /*  No alternative was declared*/
   return;
}


